[livres divers classés par sujet] [Informatique] [Algorithmique] [Programmation] [Mathématiques] [Hardware] [Robotique] [Langage] [Intelligence artificielle] [Réseaux]
[Bases de données] [Télécommunications] [Chimie] [Médecine] [Astronomie] [Astrophysique] [Films scientifiques] [Histoire] [Géographie] [Littérature]

Interprozedurale SSA-Form Das Konzept der statischen Einmalzuweisung

contributor ISTE, Programmiersprachen und Übersetzerbau
creator Bischof, Marc
date 2008-04-24
description 14 pages
Die SSA Form dient als kompakte Alternative zur Darstellung von Def-Use-Informationen. Diese werden besonders als Basis vieler Analyse- und Optimierungstechniken in optimierenden Compilern, sowie zur Programm-Verifikation und Fehlererkennung verwendet. Da die klassische SSA Form lediglich auf einer einfachen While-Sprache beruht, können Analysen die Vorteile dieser kompakten Darstellung bisher nur für ihre intraprozeduralen Phasen nutzen. Dieser Artikel behandelt daher die interprozedurale Erweiterung der klassischen SSA Form, damit darauf aufbauende Analysen diese auch in ihren interprozeduralen Phasen nutzen können. Hierbei muss der klassische Ansatz von Cytron um interprozedurale Bestandteile erweitert und geklärt werden wie man mit den dadurch entstehenden Problemen umgeht. Da in der Literatur nicht klar ist, was man eigentlich unter ISSA Form zu verstehen hat, entstehen oft Insellösungen, die notwendige Bestandteile auslassen. Das Ziel dieser Arbeit ist es also zu klären, was eine interprozedurale SSA Form beinhalten kann und wie die Bestandteile umgesetzt werden. Dazu wird insbesondere auf den Umgang mit Zeigern und Prozeduren sowie deren Behandlung in verschiedenen Kontexten eingegangen. Es werden außerdem Möglichkeiten zur Modellierung des Heaps und Mehrfachzeigern erläutert. Anhand von Beispielen werden zwei Repräsentationen zur Modellierung der interprozeduralen SSA Form erläutert und anschließend verglichen.
format application/pdf
456234 Bytes
identifier  http://www.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=SEM-2008-04&engl=1
language ger
publisher Stuttgart, Germany, Universität Stuttgart
source ftp://ftp.informatik.uni-stuttgart.de/pub/library/medoc.ustuttgart_fi/SEM-2008-04/SEM-2008-04.pdf
subject Semantics of Programming Languages (CR F.3.2)
SSA
Programm Analysis
ISSA
SSA-Form
Def-Use Information
Programmanalyse
statische Einmalzuweisung
static single assignment
interprocedural static single assignment
Interprozedurale Einmalzuweisung
Dominanz
Dominanzbäume
Dominanzgrenzen
Datenflussanalysen
May-Must Information
Alias Analyse
dominance frontiers
Zeigeranalyse
Lokatoren
Zeiger-SSA
Pointer-SSA
Variablen-SSA
variable SSA
title Interprozedurale SSA-Form Das Konzept der statischen Einmalzuweisung
type Text
Seminar Paper